Boolean algebra - PDFSEARCH.IO - Document Search Engine

Boolean algebra
Results: 1241

#	Item
221	JAVA - QUICK GUIDE http://www.tutorialspoint.com/java/java_quick_guide.htm Copyright © tutorials point.com What is Java? Add to Reading List Source URL: www.tutorialspoint.com Language: English - Date: 2015-04-27 04:47:59 Boolean algebra Procedural programming languages Increment and decrement operators ?: Operand C Boolean data type State space Software engineering Computing Computer programming
222	Logic and Lattices for Distributed Programming Neil Conway William Marczak Peter Alvaro Joseph M. Hellerstein Add to Reading List Source URL: db.cs.berkeley.edu Language: English - Date: 2012-06-22 16:27:05 Lattice theory Algebra Order theory Lattice Semilattice Class Boolean algebra Monotonic function Complete Heyting algebra Abstract algebra Mathematics Algebraic structures
223	Interval Analysis on Directed Acyclic Graphs for Global Optimization Hermann Schichl and Arnold Neumaier Institut f¨ ur Mathematik, Universit¨at Wien Strudlhofgasse 4, A-1090 Wien, Austria Add to Reading List Source URL: www.mat.univie.ac.at Language: English - Date: 2003-12-05 12:03:46 Network flow Directed graph Local consistency Graph Flow network Multigraph Tree Boolean algebra Topological sorting Graph theory Constraint programming Directed acyclic graph
224	Minimising Decision Tree Size as Combinatorial Optimisation? Christian Bessiere1 , Emmanuel Hebrard2 , and Barry O’Sullivan2 1 LIRMM, Montpelier, France Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2010-11-22 06:22:30 Decision trees Constraint programming Boolean algebra Binary tree Decision tree learning Constraint satisfaction Decision tree model Boolean satisfiability problem B-tree Theoretical computer science Mathematics Applied mathematics
225	Experiments with the Negotiated Boolean Queries of the TREC 2007 Legal Discovery Track Stephen Tomlinson Open Text Corporation Ottawa, Ontario, Canada Add to Reading List Source URL: trec.nist.gov Language: English - Date: 2008-02-11 08:49:00 Science Query languages Algebraic logic Boolean algebra SQL Precision and recall FO Information science Information retrieval Information
226	Kodkod: A Relational Model Finder Emina Torlak and Daniel Jackson MIT Computer Science and Artificial Intelligence Laboratory {emina, dnj}@mit.edu Abstract. The key design challenges in the construction of a SAT-based Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-13 19:26:58 Model theory Boolean algebra Relational model Logical connectives FO First-order logic Structure Relational algebra Finitary relation Mathematical logic Logic Mathematics
227	Introduction to Computing: Explorations in Language, Logic, and Machines Add to Reading List Source URL: www.computingbook.org Language: English - Date: 2011-08-19 11:52:05 Algebraic logic Logic gates Boolean algebra Propositional calculus Logical connectives Truth table Negated AND gate Exclusive or AND gate Mathematics Mathematical logic Abstract algebra
228	Conversational dynamics: technical notes Logic Colloquium, Berkeley, Finite distributivity. (c _ c0 )[s] = c[s] _ c0 [s] Call any such triple hL, BA , [·]i a van Benthem static conversation system with boolean s Add to Reading List Source URL: logic.berkeley.edu Language: English - Date: 2014-08-24 16:43:20 Theoretical computer science C1 Organofluorides Mathematics Abstract algebra Idempotence
229	Journal of Artificial Intelligence Research606 Submitted 11/07; publishedSATzilla: Portfolio-based Algorithm Selection for SAT Lin Xu Add to Reading List Source URL: jair.org Language: English - Date: 2008-07-01 13:34:37 NP-complete problems Logic in computer science Electronic design automation Formal methods Boolean algebra Boolean satisfiability problem Algorithm Computational complexity theory Solver Theoretical computer science Applied mathematics Mathematics
230	Some notes on the category of p-local harmonic spectra Jonathan Beardsley July 22, 2013 Introduction Add to Reading List Source URL: math.jhu.edu Language: English - Date: 2013-07-22 17:23:42 Topology Homotopy theory Order theory Morava K-theory Spectrum Triangulated category Boolean algebra Homology theory Ideal Abstract algebra Mathematics Algebraic topology

UPDATE